يوفر Vitalik Buterin مقدمة مفصلة عن Binius ، وهو نظام إثبات عالي الكفاءة يعتمد على الحقول الثنائية. تستعرض المقالة أولا مفاهيم الحقول المحدودة والحساب ، موضحة كيفية عمل أنظمة إثبات SNARK و STARK عن طريق تحويل عبارات البرنامج إلى معادلات متعددة الحدود. يشير فيتاليك إلى أنه على الرغم من أن Plonky2 قد أثبت أن استخدام حقول أصغر 64 بت و 31 بت يمكن أن يحسن بشكل كبير من كفاءة توليد الإثبات ، فإن Binius يعزز الكفاءة من خلال العمل مباشرة على الأصفار والآحاد ، والاستفادة من ميزات الحقول الثنائية. يستخدم بينيوس كثيرات الحدود متعددة المتغيرات لتمثيل الآثار الحسابية ويوظف سلسلة من الحيل الرياضية ، بما في ذلك مفهوم المكعبات الفائقة وترميز ريد سولومون ، لبناء البراهين. يعتقد فيتاليك أن القدرة الحسابية المباشرة للحقول الثنائية والعمليات على البتات هي مفتاح كفاءة بينيوس.
5/16/2024, 8:13:43 AM